main(n){gets(&n);printf("%d:00",n%85%46+6);}
